2013 IEEE Symposium on Security and Privacy SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley

Source URL: oaklandsok.github.io

A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song Computer Science Division, EECS Department University of California, Berkeley {prateeks, d

Source URL: webblaze.cs.berkeley.edu

2013 IEEE Symposium on Security and Privacy SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley

Source URL: seclab.cs.sunysb.edu

Keynote 3 – Skylar Schmidtke, Sarah Dawn, Jessica Souto Jeanette Armstrong -I was inspired by the opening song Jeanette sang with the other indigenous people. Therefore, I decided to write a poem connecting the Okanaga

Source URL: rmooc.ca

Android Permissions Demystified Adrienne Porter Felt, Erika Chin, Steve Hanna, Dawn Song, David Wagner University of California, Berkeley { apf, emc, sch, dawnsong, daw }@ cs.berkeley.edu

Source URL: people.eecs.berkeley.edu

Sweeper: A Lightweight End-to-End System for Defending Against Fast Worms James Newsome David Brumley Dawn Song

Source URL: users.ece.cmu.edu

Privtrans: Automatically Partitioning Programs for Privilege Separation David Brumley and Dawn Song Carnegie Mellon University {david.brumley,dawn.song}@cs.cmu.edu ∗ Abstract Privilege separation partitions a single pr

Source URL: users.ece.cmu.edu

RICH: Automatically Protecting Against Integer-Based Vulnerabilities David Brumley, Tzi-cker Chiueh, Robert Johnson , , Huijia Lin, Dawn Song el

Source URL: users.ece.cmu.edu

Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,

Source URL: users.ece.cmu.edu

• Theoretical computer science
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Complexity classes
• KeY
• IP
• NP
• PP
• Algorithm

Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U

Source URL: users.ece.cmu.edu

• Mathematics
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Errors and residuals
• Function
• Science and technology